// 此文件下载者不用更改，兼容其他域名使用
var Settings = function() {
    this.socketServer = 'ws://'+document.domain+':8000';
}